Skip to content

chore: release - merge dev into main#407

Merged
github-actions[bot] merged 2 commits intomainfrom
dev
Feb 18, 2026
Merged

chore: release - merge dev into main#407
github-actions[bot] merged 2 commits intomainfrom
dev

Conversation

@github-actions
Copy link
Copy Markdown

Automated release PR created by the release workflow.

Commits (2):

3670f46 Merge pull request #406 from zbigniewsobiecki/feature/immediate-progress-comment
24cf7e6 feat(progress): post immediate comment on ProgressMonitor.start()

@github-actions github-actions Bot enabled auto-merge February 18, 2026 17:40
@github-actions github-actions Bot merged commit 007bd5e into main Feb 18, 2026
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant